Prior Specification Is Engineering, Not Mathematics

Software Engineering is Not Enough

J. Whittaker is an associate professor of computer science at the Florida Institute of Technology ([email protected]), S. Atkin is a staff software engineer with the IBM Corporation, Austin, Texas ([email protected]). Abstract—Much of the software engineering literature begins with an admonition that what practitioners are doing isn’t enough—that the state-of-the-practice is creating bad software. T...

Engineering, Computing and Mathematics

s of Postgraduate Dissertations ................................................................................ 19 Abstracts of Final Year Project Dissertations .......................................................................... 22 s of Final Year Project Dissertations .......................................................................... 22 

Reverse-engineering Reverse Mathematics

An important open problem in Reverse Mathematics ([16, 25]) is the reduction of the first-order strength of the base theory from IΣ1 to I∆0 + exp. The system ERNA, a version of Nonstandard Analysis based on the system I∆0 + exp, provides a partial solution to this problem. Indeed, Weak König’s lemma and many of its equivalent formulations from Reverse Mathematics can be ‘pushed down’ into ERNA,...

Mathematics in Chemical Engineering

Mathematics of Engineering Systems

Instructor: Serdar Yüksel, Jeffrey Hall 415, Phone: 533–2429, E-mail: [email protected] Marker and TA: TBA Office Hour: Thursdays 13:30-14:20 Supplemental Text: Supplemental Notes will be posted on the course web site References: Modern Signals and Systems, by H. Kwakernaak and R. Sivan, Fourier Analysis and Applications, by C. Gasquet and P. Witomski, Applied Analysis, by J. K. Hunter and...